Validierung des Bereichsdatencompilers für die Linienzugbeeinflussung LZB L72 CE mit Hilfe eines diversitären Ansatzes

Bei der Linienzugbeeinflussung (LZB) sind die festen Streckendaten eines LZB-Steuerbereichs (Gleistopologie mit Weichenund Signalstandorten, Langsamfahrstellen, Neigungen, usw.) in der anlagenspezifischen LZB-Software gespeichert. Für die Zentralen LZB L72 CE werden in textueller, lesbarer Form sog. Bereichsdaten projektiert. Diese Bereichsdaten werden durch den Bereichsdatencompiler (BDC) in mehrere Assemblerdateien und Benutzerlisten transformiert. Vor der Transformation prüft der BDC die Eingabedaten auf syntaktische Korrektheit und Konsistenz. Die generierten Assemblerdateien werden schließlich mit der generischen LZB-Systemsoftware zu einem streckenspezifischen Steuerprogramm zusammengebunden. Um die sicherheitsrelevante Transformation der Bereichsdaten durch den Bereichsdatencompiler gegen die Vorgaben der Projektierungsrichtlinien und der Anforderungen zu validieren, wurde ein diversitärer Ansatz mit vollständiger Automatisierung entwickelt und erfolgreich umgesetzt. Der Erfolg des diversitären Ansatzes beruht stark auf der Wahl der funktionalen Programmiersprache Haskell zur Entwicklung des diversitären Compilers, die einerseits eine sehr schnelle und damit kostengünstige Realisierung ermöglichte und andererseits einen technologischen Gegenpol zur Implementierung des originären Systems in C in Bezug auf mögliche Fehlerklassen darstellt. 2 Problematik und Lösungsansatz